161. Statistisches Matching mit Fuzzy Logic :
پدیدآورنده : Patrick Noll ; Mit einem Geleitw. von Paul Alpar.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Information theory.,Software engineering.,Computer Science, general.,Software Engineering/Programming and Operating Systems.,Theory of Computation.
رده :
GB656
.
2
.
H9
162. Symposium on real-time and hybrid systems :
پدیدآورنده : Cliff Jones, Ji Wang, Naijun Zhan (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
163. Synthesizable VHDL design for FPGAs
پدیدآورنده : Bezerra, Eduardo Augusto, Eduardo Augusto Bezerra, Djones Vinicius Lettnin
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، VHDL )Computer hardware description language(,، Field programmable gate arrays,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Software Engineering/Programming and Operating Systems
رده :
TK7885
.
7
164. Systems programming
پدیدآورنده : Richard John Anthony.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering.,Systems programming (Computer science)
165. The art of software thermal management for embedded systems /
پدیدآورنده : Mark Benson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Embedded computer systems-- Cooling.,Embedded computer systems-- Programming.,Software engineering.,Circuits and Systems.,Electronics and Microelectronics, Instrumentation.,Energy Efficiency (incl. Buildings),Engineering.,Software Engineering.
رده :
TK7895
.
E42
166. The art of software thermal management for embedded systems
پدیدآورنده : Benson, Mark
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Cooling ، Embedded computer systems,Programming ، Embedded computer systems,، Software engineering
رده :
TK
7895
.
E42B46
167. The art of software thermal management for embedded systems
پدیدآورنده : / Mark Benson
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Embedded computer systems, Programming,Embedded computer systems, Cooling,Software engineering,Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,Software Engineering,Energy Efficiency (incl. Buildings),COMPUTERS / General, bisacsh
رده :
E-BOOK
168. The handbook of software for engineers and scientists /
پدیدآورنده : editor-in-chief, Paul W. Ross.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software.,Engineering-- Data processing.,Science-- Data processing.,Computer software.,COMPUTERS / Programming Languages / JavaScript,Engineering-- Data processing.,Science-- Data processing.
رده :
QA76
.
754
.
H35
2018eb
169. The school of Niklaus Wirth : the art of simplicity
پدیدآورنده : Laszlo Boszrmenyi, Jurg Gutknecht, Gustav Pombergerg )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Wirth, Niklaus,، Software engineering,Research ، Computer science,، Computer programming,، Programming languages )Electronic computers(
رده :
QA
76
.
756
.
S3
170. Theory of Cryptography
پدیدآورنده : \ Björn Franke (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Compilers (Computer programs) -- Congresses.,Programming Languages, Compilers, Interpreters.,Software engineering.,Programming Techniques.,کامپایلر‌ها (برنامه کامپیوتر) -- کنگره ها,زب‍ان‌ه‍ای برنامه ن‍وی‍س‍ی ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA76
.
76
.
T46
2015
E-Book
,
171. Touch of clas
پدیدآورنده : / Bertrand Meyer
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Object-oriented programming (Computer science),Software engineering.
رده :
QA
,
76
.
64
,.
M495
,
2009
172. Touch of class
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : oriented programming (Computer science) ; Software engineering. ; -Object
173. Touch of class : learning to program well with objects and contracts
پدیدآورنده : Bertrand Meyer
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Object-oriented programming )Computer science(,، Software engineering
رده :
QA
76
.
6
.
M48
2004
174. Understanding object-oriented software engineering
پدیدآورنده : Sigfried, Stefan
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Object-oriented programming )Computer science( , Software engineering
رده :
QA
76
.
64
.
S54
1996
175. Unifying theories of programming /
پدیدآورنده : C.A.R. Hoare and He Jifeng.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Computer programming.,Programmierung.,Programmierung.,Software Engineering.,Software Engineering.
رده :
QA76
.
6
. .
H5735
1998
176. Unifying theories of programming :
پدیدآورنده : Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,computerkunde.,software engineering.
رده :
QA76
.
6
B875
2013
177. Using Toolpack Software Tools :
پدیدآورنده : edited by A.A. Pollicini.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
95
E358
1989
178. Verified software
پدیدآورنده : \ Arie Gurfinkel , Sanjit A. Seshia (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,کامپیوتر,a03,a03,Computer programming.,Software engineering.,برنامه‌نویسی ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
V4
2016
E-Book
,
179. oriented software architecture.-Pattern
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : oriented programming (Computer science) ; -Software engineering ; Object
